Handbook of Logic in Computer Science: Volume 3